1. A tight, practical integration of relations and functions
پدیدآورنده : Boley, Harold
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
2. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
4. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
5. Computational Logic in Multi-Agent Systems
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
6. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
پدیدآورنده : edited by Masoud Mohammadian
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
رده :
QA
7609
.
C6
1999
7. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
8. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
9. Constraint solving over multi-valued logics :
پدیدآورنده : Francisco Azevedo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
10. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
پدیدآورنده : Hubert Comon, Claude Marche, Ralf Treinen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002
11. DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده : Eliens, Anton.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
12. Deep Learning with Python : A Hands-on Introduction
پدیدآورنده : Ketkar, Nikhil
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer programming,، Computer science,، Computers,، Mathematical logic
رده :
LB
2822
.
75
.
K88
2017
13. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
14. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
15. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
16. Evolving Knowledge Bases
پدیدآورنده : \ Joao Alexandra Leite
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming.,Expert systems (Computer science),برنامه‌نویسی منطقی.,سیستم‌های خبره (کامپیوتر),a03,a04,a03,a04
رده :
E-Book
,
17. Evolving knowledge bases
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming. ; Expert systems (Computer science) ;
18. Evolving knowledge bases :
پدیدآورنده : João Alexandre Leite.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
رده :
QA76
.
63
.
L48
2003eb
19. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
20. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
